
CLEANFILES= *.out.bad *.notrun check.log check.time*

# no default target
default:

clean:
	rm -f $(CLEANFILES)

